#!/bin/sh
#
#Script to run dlvhex reasoning in an infinitive loop
#
#
cd /home/thang/ShareOS/study/project1/dlvhex/
./bootstrap.sh
mkdir build
cd build
../configure
make
sudo make install
